1. The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
2. The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
3. The computational complexity of logical theories
پدیدآورنده: Jeanne Ferrante, Charles W. Rackoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
4. The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
5. The computational complexity of logical theories
پدیدآورنده: / Jeanne Ferrante, Charles W. Rackoff
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Predicate calculus,Computational complexity
رده :
QA
9
.
35
.
F4
1979





